Computer Aided Verification The...
Paperback
Published 24 Jun 2005
Save $9.20
- RRP $122.13
- $112.93
Search for "Sriram K Rajamani"
4 results
-
$9.20off
-
$7.40off
Model Checking Software
Paperback
Published 28 Apr 2003Save $7.40
- RRP $61.06
- $53.66
-
Model Checking Software
Paperback
Published 12 Mar 2014- $57.80
-
$18.33off
Verified Software: Theories, To...
Paperback
Published 05 Aug 2010Save $18.33
- RRP $73.28
- $54.95